Rapid Prototyping with AutoFocus
نویسندگان
چکیده
In most cases, it is simple inconvenience of use that keeps formal methods from being put to industrial use. This paper argues that functionalities, even though of simple formal principles, can be decisive for the applicability of such a formal development tool. Several of those functionalities, as found in the AUTOFOCUS tool prototype, like integrated graphical and hierarchical description techniques, consistency checks and code generation, are demonstrated using a simple example.
منابع مشابه
Enabling Low-Cost Microassembly using Visual Feedback
The constant reduction in the size of mechanical and electrical components has enabled the construction of smaller mechanical systems. However, the current assembly process of these millimeter and micro-scaled systems is time-consuming and imprecise. In order to simplify the process an automated low-cost rapid prototyping called Orthotweezer is being developed. This paper discusses enhancements...
متن کاملModel Based Testing in Evolutionary Software Development
The spiraling nature of evolutionary software development processes produces executable parts of the system at the end of each loop. We argue that these parts should consist not only of programming language code, but of executable graphical system models. As a main bene£t of the use of more abstract, yet formal, modeling languages, we present a method for model based test sequence generation fo...
متن کاملAutofocus algorithm for dispersion correction in optical coherence tomography.
Practical clinical optical coherence tomography (OCT) systems require automatic tools for identifying and correcting flaws in OCT images. One type of flaw is the loss of image detail owing to the dispersion of the medium, which in most cases is unknown. We present an autofocus algorithm for estimating the delay line and material dispersion from OCT reflectance data, integrating a previously pre...
متن کاملApplication of the Extreme Learning Machine for Modeling the Bead Geometry in Gas Metal Arc Welding Process
Rapid prototyping (RP) methods are used for production easily and quickly of a scale model of a physical part or assembly. Gas metal arc welding (GMAW) is a widespread process used for rapid prototyping of metallic parts. In this process, in order to obtain a desired welding geometry, it is very important to predict the weld bead geometry based on the input process parameters, which are voltage...
متن کاملDesigning and Creating a Mouse Using Nature-Inspired Shapes
Human beings have always made their tools and instruments they need using patterns in nature. Mimicking nature has become the foundation of a new science called Biomimetics. In the present article, multiple forms and levels in nature were utilized to design and create a mouse. The rivers are a good source for choosing the shape of a mouse with lots of stones abraded through the centuries which ...
متن کامل